机译:扩展AADL模型的安全性,可靠性和性能分析
机译:扩展AADL模型的安全性,可靠性和性能分析
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:扩展安全偏差分析技术以得出灵活的可靠性要求
机译:提示技术和学习方式对需求启发的影响。
机译:将字典技术与可扩展标记语言(XML)结合起来-要求采用新的方法来实现灵活而标准化的文档。
机译:将安全风险评估技术整合到需求确定中
机译:将无限状态模型检验及其他分析技术应用于安全关键系统的表格要求规范